unique factorization property

[数] 唯一因子分解性质